<HTML><HEAD><TITLE>cs_clear_satisfied(+CS)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(tentative)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>cs_clear_satisfied(+CS)</H1>
Remove the satisfied constraints from the constraint set
<DL>
<DT><EM>CS</EM></DT>
<DD>Constraint set
</DD>
</DL>
<H2>Description</H2>

	<P>
	Remove all currently satisfied constraints from the constraint set.
	This means, even if they become violated again later, they will no
	longer contribute to the set's violatedness count.  All delayed goals
	related to these constraints will be removed and the constraints
	forgotten.
	</P>
    
<H3>Modes and Determinism</H3><UL>
<LI>cs_clear_satisfied(+) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/tentative/cs_clear_all-1.html">cs_clear_all / 1</A>
</BODY></HTML>
